Grassmann-Cayley algebra for modelling systems

نویسندگان

  • Olivier Faugeras
  • Théodore Papadopoulo
چکیده

After a brief introduction of lhe Grassmann-Cayley OI' double algebra we proceed to demonstrate its use for modelling systems of cameras. In the case of three cameras, we give a new interpretation of the trifocal tensors and study in detail some of the constraints that they satisfy. In particular we prove that simple subsets of those constraints characterize the trifocal tensors, in other words, we give the algebraic equations of the manifold of trifocal tensors. Resumo. Depois de uma introdução da álgebra de Grassman-Cayley ou álgebra dupla, nós mostramos a sua utilidade na representação de sistemas de câmeras. no caso de três câmeras, nós damos uma nova interpretação dos tensores trifocais e estudamos em detalhe algumas das propriedades que eles satisfazem. Particularmente, nós demonstramos que um subconjunto dessas propriedades caracteriza os tensores trifocais, nos damos as equações algébricas do conjunto dos tensores trifocais.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Least Square for Grassmann-Cayley Agelbra in Homogeneous Coordinates

This paper presents some tools for least square computation in Grassmann-Cayley algebra, more specifically for elements expressed in homogeneous coordinates. We show that building objects with the outer product from k-vectors of same grade presents some properties that can be expressed in term of linear algebra and can be treated as a least square problem. This paper mainly focuses on line and ...

متن کامل

Combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians

The classic Cayley identity states that det(∂) (detX) = s(s+ 1) · · · (s+ n− 1) (detX) where X = (xij) is an n× n matrix of indeterminates and ∂ = (∂/∂xij) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterio...

متن کامل

Matrix representations of finitely generated Grassmann algebras and some consequences

We prove that the m-generated Grassmann algebra can be embedded into a 2 × 2 matrix algebra over a factor of a commutative polynomial algebra in m indeterminates. Cayley–Hamilton and standard identities for n× n matrices over the m-generated Grassmann algebra are derived from this embedding. Other related embedding results are also presented.

متن کامل

A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry

This paper presents a formalization of Grassmann-Cayley algebra [6] that has been done in the Coq [2] proof assistant. The formalization is based on a data structure that represents elements of the algebra as complete binary trees. This allows to define the algebra products recursively. Using this formalization, published proofs of Pappus’ and Desargues’ theorem [7,1] are interactively derived....

متن کامل

SINGULAB - A Graphical user Interface for the Singularity Analysis of Parallel Robots based on Grassmann-Cayley Algebra

This paper presents SinguLab, a graphical user interface for the singularity analysis of parallel robots. The algorithm is based on Grassmann-Cayley algebra. The proposed tool is interactive and introduces the designer to the singularity analysis performed by this method, showing all the stages along the procedure and eventually showing the solution algebraically and graphically, allowing as we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013